Internet Surfer: Getting Started/Internet Surfer - Getting Started (Wayzata Technology)(7231)(1995).bin/pc/textfile/mac_faqs/prolog/faq

Internet Message Format | 1995-01-01 | 11.4 KB

Xref: bloom-picayune.mit.edu comp.lang.prolog:6766 news.answers:4636
Newsgroups: comp.lang.prolog,news.answers
Path: bloom-picayune.mit.edu!enterpoop.mit.edu!news.media.mit.edu!micro-heart-of-gold.mit.edu!news.bbn.com!usc!sdd.hp.com!caen!destroyer!cs.ubc.ca!fornax!jamie
From: [e-mail] (Jamie Andrews)
Subject: comp.lang.prolog Frequently Asked Questions
Message-ID: <prolog/[e-mail]>
Followup-To: comp.lang.prolog
Summary: Information about free Prolog implementations; contact names for commercial systems; controversial topics.
Supersedes: <prolog/[e-mail]>
Reply-To: [e-mail] (Jamie Andrews)
Organization: Logic Programming Lab, Computer Science, Simon Fraser University
Date: Wed, 16 Dec 1992 10:00:10 GMT
Approved: [e-mail]
Expires: 01/03/93
Lines: 309

Posted-By: auto-faq script
Archive-name: prolog/faq

Original-by: [e-mail] (Jamie Andrews)
Version: 1.8
Last-modified: 10/15/92 by [e-mail] (Jamie Andrews)

     This article contains the answers to some Frequently Asked
Questions (FAQ) often seen in comp.lang.prolog.  It is posted
(twice a month) to help reduce volume in this newsgroup and to
provide hard-to-find information of general interest.

     This article includes answers to the following questions.

0. General information
1. What is the Association for Logic Programming?
2. Where can I get a public-domain, free Prolog for (the IBM PC,
   the Mac, Unix)?
3. What commercial systems are available?
4. How do I get in touch with my Prolog's users' group,
   sales representative, or technical support line?
5. I think language X is better than Prolog.  What do you think?
6. My Prolog prof assigned me this problem.  Can you help
   me with it?
7. Can you suggest some books on Prolog?
8. Are there any FTP archive sites for comp.lang.prolog?

     Please forward suggestions for further questions and
answers to the current FAQ maintainer, [e-mail] (Jamie
Andrews).

Changes in this version:
* Added information on archive sites (question 8).
* Added information on UPMAIL Tricia Prolog for the Mac.
* Updated information on the Prolog Resource Guide.
* Added contact address for the Prolog-2 Users' Group.
* Added information on ALF (Algebraic Logic Functional language).

            *    *    *

0. General information

     The newsgroup "comp.lang.prolog" discusses the language
Prolog and other "logic programming" languages.  Logic
programming languages, in general, are programming languages
which incorporate some of the language of mathematical logic;
unification and backtracking search are common operational
features.  For more background information about Prolog, see the
list of books in Question 7 of this list.

            *    *    *

1. What is the Association for Logic Programming?

     To keep up with the current state of logic programming
technology, readers can join the Association for Logic
Programming (ALP) and receive their Newsletter.  For details on
how to join, contact:

        Cheryl Anderson,
        ALP Administrative Secretary,
        Dept. of Computing,
        Imperial College,
        180 Queen's Gate,
        London, SW7 2BZ, UK

Email:   [e-mail]
Fax:    [phone]
Phone:  [phone] x5011

     The Prolog Resource Guide (v0.6) was printed in issue 5/1
of the Newsletter (Feb. 1992). This lists information concerning
Prolog Archives, Books, Suppliers, etc.  It is now maintained by
Mark Kantrowitz ([e-mail]), and
posted periodically to comp.lang.prolog.

     To send in Newsletter contributions, write to:

        Andrew Davison,
        Dept. of Computer Science,
        University of Melbourne,
        Parkville,
        Melbourne, Victoria 3052,
        AUSTRALIA

Email:   [e-mail]
Fax:    [phone]
Phone:  [phone] / 5230
Telex:   AA 35185

            *    *    *

2. Where can I get a public-domain, free Prolog for (the IBM PC,
   the Mac, Unix)?

     The following are anonymous-FTP sites for free Prologs
which are either in the public domain or are "copy-lefted"
(permitted to be copied with some restrictions on commercial use).

     (Please note that for extensive development work, users
will probably want a robust interpreter or compiler with good
debugging facilities and a standard syntax, among other things.
While public-domain systems are a valuable service to the
community, they do not necessarily have all these things, and
users should weigh carefully what they want to do against the
capabilities and costs of the available systems.)

For the IBM PC:
- BinProlog 1.39, anonymous FTP from clement.info.umoncton.ca
  (139.103.16.2), directory BinProlog.  Compiler for IBM PC 386.
  E-mail: [e-mail] (Paul Tarau).
- Anonymous FTP from aisun1.ai.uga.edu, directory ai.prolog;
  download "Contents" first.  Two systems.
  E-mail: [e-mail] (Michael Covington).
- SWI Prolog, anonymous FTP from swi.psy.uva.nl (192.42.96.1),
  directory pub/SWI-Prolog; or from ftp.th-darmstadt.de
  (130.83.55.75), directory pub/programming/languages/prolog.
  Portable, copy-lefted.

For the Apple Macintosh:
- Anonymous FTP from aisun1.ai.uga.edu, directory ai.prolog;
  download "Contents" first.
  E-mail: [e-mail] (Michael Covington).
- Open Prolog, anonymous FTP from grattan.cs.tcd.ie (or
  134.226.32.15), directory languages/open-prolog.  In
  binhex/stuffit form.
  E-mail: [e-mail] (Michael Brady).
- UPMAIL Tricia Prolog, anonymous FTP from ftp.csd.uu.se
  (130.238.12.1), directory pub/Tricia; get README first.
  Email: [e-mail].


For Unix systems:
- BinProlog 1.39, anonymous FTP from clement.info.umoncton.ca
  (139.103.16.2), directory BinProlog.  Compiler for SPARC and Sun/3.
  E-mail: [e-mail] (Paul Tarau).
- SWI Prolog, anonymous FTP from swi.psy.uva.nl (192.42.96.1),
  directory pub/SWI-Prolog; or from ftp.th-darmstadt.de
  (130.83.55.75), directory pub/programming/languages/prolog.
  Portable, copy-lefted.
- SB-Prolog, anonymous FTP from cs.arizona.edu, directory
  "sbprolog/v3".  Version 3.  Copy-lefted.
- Modular SB-Prolog (= SB-Prolog version 3.1 plus modules),
  anonymous FTP from ftp.dcs.ed.ac.uk (129.215.160.5), file
  pub/dts/mod-prolog.tar.Z .  Interpreter for SPARC.
  E-mail: [e-mail] (Brian Paxton).
- ALF (Algebraic Logic Functional language), WAM-based language
  with narrowing/rewriting, anonymous FTP from ftp.germany.eu.net,
  directory "pub/programming/languages/LogicFunctional".
  E-mail: [e-mail] (Rudolf Opalla).


            *    *    *

3. What commercial systems are available?

     Many commercial systems are listed in the periodically
posted Prolog Resource Guide.  The list of commercial systems
was compiled by Chris Moss, of Imperial College.  The rest of
the Resource Guide was originally compiled by Dag Wahlberg, of
Uppsala University.

     The Resource Guide is now maintained by the kind efforts
of Mark Kantrowitz, "[e-mail]", who
posts it periodically on comp.lang.prolog.

     Readers should also note that the newly formed Prolog
Vendors' Group is contactable electronically via the Secretary,
Al Roth.  His email is "[e-mail]".

            *    *    *

4. How do I get in touch with my Prolog's users' group,
   sales representative, or technical support line?

     Here are some e-mail addresses of these contacts, listed
alphabetically by company or major product name.  Please note
that sometimes phoning or writing to the company will get better
response than e-mail.

ALS (Applied Logic Systems):
  Information:    [e-mail]
  Sales:    [e-mail]
  Tech support:    [e-mail]

LPA:
  Sales:    [e-mail]
  Tech support:    [e-mail]

PDC Prolog:
  Information:    [e-mail]
  Sales:    [e-mail]
  Tech support:    [e-mail]

ProLog by BIM:
  Contact:    [e-mail] (Kathleen Pierco)

Prolog-2:
  Users' group:    [e-mail]

Quintus:
  Users' group:    [e-mail]
  Sales:    [e-mail]
  Tech support:    [e-mail]

Sepia:
  Users' group:    [e-mail]
  Tech support:    [e-mail]

SICStus:
  Users' group:    [e-mail]
  Sales:    [e-mail]
  Tech support:    [e-mail]

Turbo Prolog:
  Turbo Prolog is the older name for PDC Prolog (see above).

            *    *    *

5. I think language X is better than Prolog.  What do you think?

     These debates rarely result in any productive discussion.
To some extent, one's favourite language is based on irrational
ideology.

     However, many people now agree that different languages are
good for different things.  Prolog seems to be good for problems
in which logic is intimately involved, or whose solutions have a
succinct logical characterization.  Like other interactive,
symbolic languages, Prolog is also good for rapid prototyping.

     Also, please note that there are many different "Prologs"
and other logic programming languages available, all with
different capabilities.

            *    *    *

6. My Prolog prof assigned me this problem.  Can you help
   me with it?

     If your instructor assigned it to you, he or she probably
wanted you to do it yourself.  If it's an introductory Prolog
course, your question might be elementary to most readers, so it
might be a waste of network resources to ask it.  Please ask
your instructor, a friend, a teaching assistant, or a local
newsgroup for help first.

     That being said, there are comp.lang.prolog readers who
would be glad to help people making a legitimate attempt to
learn Prolog.

            *    *    *

7. Can you suggest some books on Prolog?

     The Prolog Resource Guide (see above, question 3) contains
a listing of Prolog books.  It is maintained by Mark Kantrowitz
([e-mail]), and posted periodically
on comp.lang.prolog.

     Here are some of the most popular books on Prolog.

_Programming in Prolog_.  William F. Clocksin and Christopher S.
Mellish.  Springer-Verlag, 1987.  (Introductory.)

_The Art of Prolog:  Advanced Programming Techniques_.  Leon
Sterling and Ehud Shapiro.  MIT Press, 1986.  (Advanced.)

_The Craft of Prolog_.  Richard A. O'Keefe.  MIT Press, 1990.
(Advanced.)

_Foundations of Logic Programming_.  John Lloyd.
Springer-Verlag, 1988 (2nd ed).  (Logic programming theory.)

            *    *    *

8. Are there any FTP archive sites for comp.lang.prolog?

     Yes.  As of the latest check, the following archive
sites contain selected recent articles from comp.lang.prolog
in the indicated directories.

"cs.dal.ca": /pub/comp.archives/comp.lang.prolog
"pit-manager.mit.edu": /pub/usenet/comp.lang.prolog
"src.doc.ic.ac.uk": /usenet/comp.archives/auto/comp.lang.prolog
"cnam.cnam.fr": /pub/Archives/comp.archives/auto/comp.lang.prolog

     Some other sites contain copies of this FAQ list and the
Prolog Resource Guide.  For users with "archie" access, type
"archie comp.lang.prolog" for an up-to-date list of sites having
either archives or the periodic postings.


            *    *    *

Acknowledgements

     For help in putting together this FAQ, thanks to Andrew
Davison, Mike Brady, Michael Covington, Stephen Bevan, John
Dowding, Thilo Kielmann, Paul Singleton, Dave Moffatt, Dani de
Ridder, Per Bilse, Chris Moss, Kathleen Pierco, Paul Tarau,
Jonathan Kamens, Jan Wielemaker, Dag Wahlberg, Micha Meier, Don
Sannella, Clive Spenser, Yuan Liu, Jonas Barklund, and Ian
Dickinson.  Special thanks to John Dowding for suggesting a good
format for the list, and to Chris Moss, Dag Wahlberg, and Mark
Kantrowitz for their work on the Prolog Resource Guide.

--Jamie Andrews.
  [e-mail]